Annotating Ada (ANNA) Bedeutung

Annotating Ada (ANNA)

Annotating Ada (ANNA) Erweiterung von ADA. Damit können in ADA-Programme Assertions eingefügt werden, um die Verifizierung zu automatisieren.
Gefunden auf https://www.enzyklo.de/Lokal/40006

---